Universal algebra - PDFSEARCH.IO - Document Search Engine

Universal algebra
Results: 475

#	Item
91	Coproducts of Monads on Set Jiˇr´ı Ad´amek, Stefan Milius Nathan Bowler Paul B. Levy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-05 09:36:57 Algebra Abstract algebra Monad Coproduct Universal property Limit Monoidal categories Adjoint functors Category theory Functional programming
92	BRICS Basic Research in Computer Science BRICS RSL. Santocanale: A Calculus of Circular Proofs and its Categorical Semantics A Calculus of Circular Proofs and Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-05-09 04:26:17 Universal property Lambda calculus Functor Combinatory logic Initial algebra Function Equivalence of categories Sheaf Coproduct Mathematics Category theory Abstract algebra
93	Tutorial on Universal Algebra Add to Reading List Source URL: mathcs.chapman.edu - Date: 2009-08-14 14:22:55
94	Some results obtained with the Universal Algebra Calculator, theorem provers and constraint satisfiers in a Sage package Peter Jipsen Chapman University, Orange, California Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2011-04-09 22:02:01
95	Exponentiable functors between quantaloid-enriched categories Maria Manuel Clementino∗, Dirk Hofmann† and Isar Stubbe‡ July 3, 2007§ Abstract. Exponentiable functors between quantaloid-enriched categories are Add to Reading List Source URL: www-lmpa.univ-littoral.fr Language: English - Date: 2009-12-14 11:58:39 Adjoint functors Functor Universal property Limit Sheaf Equivalence of categories Initial and terminal objects Monad Complete Heyting algebra Abstract algebra Category theory Mathematics
96	How analysis and topology interact in bivariant K-theory Ralf Meyer VASBI ICM Satellite Conference on K-theory and Noncommutative Geometry Add to Reading List Source URL: mate.dm.uba.ar Language: English - Date: 2006-09-11 06:47:49 Homotopy theory Homological algebra Fiber bundles K-theory Assembly map Homotopy Universal bundle Equivalence of categories Derived category Abstract algebra Topology Algebraic topology
97	RUDIN-KEISLER POSETS OF COMPLETE BOOLEAN ALGEBRAS PETER JIPSEN, ALEXANDER PINUS, HENRY ROSE Abstract. The Rudin-Keisler ordering of ultrafilters is extended to complete Boolean algebras and characterised in terms of elem Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2004-06-07 10:17:14 Model theory Boolean algebra Order theory Non-standard analysis Universal algebra Ultrafilter Symbol Structure Ultraproduct Mathematics Mathematical logic Logic
98	Outline Part I Residuated Lattices Universal Algebra Add to Reading List Source URL: mathcs.chapman.edu Language: English - Date: 2009-01-10 03:41:36 Lattice theory Fuzzy logic Algebraic structures Mathematical logic Order theory Residuated lattice Lattice Monoidal t-norm logic Heyting algebra Abstract algebra Mathematics Logic
99	Binding Logi : proofs and models Gilles Dowek1 , Therese Hardin2 , and Claude Kir hner3 1 3 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:50 Metalogic Model theory Predicate logic Structure Free variables and bound variables FO Arity Mathematics Universal algebra Mathematical logic
100	Decision Problems for Additive Regular Functions Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 09:21:06 Mathematics Models of computation Metalogic Structure Universal algebra FO Model theory String Symbol Automata theory Theoretical computer science Formal languages

UPDATE